Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
31	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics
32	Simply Typed Lambda-Calculus Modulo Type IsomorphismsI Alejandro D´ıaz-Caroa , Gilles Dowekb a Universidad Nacional de Quilmes Roque S´ aenz Pe˜ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-06-15 09:14:24
33	A Blame for All (revised) Amal Ahmed, Northeastern University James T. Perconti, Northeastern University Jeremy G. Siek, Indiana University Philip Wadler, University of Edinburgh Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-08-14 08:06:44 Lambda calculus Computer science Fixed-point combinator Simply typed lambda calculus Typed lambda calculus Polymorphism System F Type system Type safety Theoretical computer science Mathematics Type theory
34	Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-02 07:15:47 Type theory Logic in computer science Dependently typed programming Formal methods Lambda calculus Twelf Higher-order abstract syntax Logical framework Frank Pfenning Theoretical computer science Mathematics Programming language theory
35	Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:53 Mathematical logic Deduction Proof theory Dependently typed programming Type theory Natural deduction Entailment Symbol Calculus of constructions Logic Theoretical computer science Lambda calculus
36	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
37	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
38	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:34 Functional programming Lambda calculus Type theory Data types Theoretical computer science Type system Continuation-passing style Simply typed lambda calculus C Sharp Software engineering Computing Computer programming
39	Godelisation in the untyped lambda calculus Torben . Mogensen DIKU, University of Copenhagen, Denmark email: Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:40 Mathematics Normalisation by evaluation Combinatory logic Simply typed lambda calculus Beta normal form Variance Lambda Sedenion Binary lambda calculus Lambda calculus Theoretical computer science Applied mathematics
40	Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Applied mathematics Process calculi Π-calculus Lambda calculus Valuation Function Curry–Howard correspondence Holomorphic functional calculus Mathematics Theoretical computer science Abstract algebra

UPDATE